-
1 mathematical symbolism
Большой англо-русский и русско-английский словарь > mathematical symbolism
-
2 mathematical symbolism
Математика: математическая символикаУниверсальный англо-русский словарь > mathematical symbolism
-
3 mathematical symbolism
English-Russian scientific dictionary > mathematical symbolism
-
4 symbolism
символика, система обозначений -
5 математическая символика
Большой англо-русский и русско-английский словарь > математическая символика
-
6 Boole, George
SUBJECT AREA: Electronics and information technology[br]b. 2 November 1815 Lincoln, Englandd. 8 December 1864 Ballintemple, Coounty Cork, Ireland[br]English mathematician whose development of symbolic logic laid the foundations for the operating principles of modern computers.[br]Boole was the son of a tradesman, from whom he learned the principles of mathematics and optical-component manufacturing. From the early age of 16 he taught in a number of schools in West Yorkshire, and when only 20 he opened his own school in Lincoln. There, at the Mechanical Institute, he avidly read mathematical journals and the works of great mathematicians such as Lagrange, Laplace and Newton and began to tackle a variety of algebraic problems. This led to the publication of a constant stream of original papers in the newly launched Cambridge Mathematical Journal on topics in the fields of algebra and calculus, for which in 1844 he received the Royal Society Medal.In 1847 he wrote The Mathematical Analysis of Logic, which applied algebraic symbolism to logical forms, whereby the presence or absence of properties could be represented by binary states and combined, just like normal algebraic equations, to derive logical statements about a series of operations. This laid the foundations for the binary logic used in modern computers, which, being based on binary on-off devices, greatly depend on the use of such operations as "and", "nand" ("not and"), "or" and "nor" ("not or"), etc. Although he lacked any formal degree, this revolutionary work led to his appointment in 1849 to the Chair of Mathematics at Queen's College, Cork, where he continued his work on logic and also produce treatises on differential equations and the calculus of finite differences.[br]Principal Honours and DistinctionsRoyal Society Medal 1844. FRS 1857.BibliographyBoole's major contributions to logic available in republished form include George Boole: Investigation of the Laws of Thought, Dover Publications; George Boole: Laws of Thought, Open Court, and George Boole: Studies in Logic \& Probability, Open Court.1872, A Treatise on Differential Equations.Further ReadingW.Kneale, 1948, "Boole and the revival of logic", Mind 57:149.G.C.Smith (ed.), 1982, George Boole \& Augustus de Morgan. Correspondence 1842– 1864, Oxford University Press.—, 1985, George Boole: His Life and Work, McHale.E.T.Bell, 1937, Men of Mathematics, London: Victor Gollancz.KF
См. также в других словарях:
Mathematical beauty — An example of beauty in method a simple and elegant geometrical proof that the Pythagorean theorem is true for a particular right angled triangle. Many mathematicians derive aesthetic pleasure from their work, and from mathematics in general.… … Wikipedia
mathematical logic — /mæθəˌmætɪkəl ˈlɒdʒɪk/ (say mathuh.matikuhl lojik) noun a modern development of formal logic employing a special notation or symbolism capable of manipulation in accordance with precise rules; symbolic logic …
History of mathematical notation — Mathematical notation comprises the symbols used to write mathematical equations and formulas. It includes Hindu Arabic numerals, letters from the Roman, Greek, Hebrew, and German alphabets, and a host of symbols invented by mathematicians over… … Wikipedia
religious symbolism and iconography — Introduction respectively, the basic and often complex artistic forms and gestures used as a kind of key to convey religious concepts and the visual, auditory, and kinetic representations of religious ideas and events. Symbolism and… … Universalium
number symbolism — Introduction cultural associations, including religious, philosophic, and aesthetic, with various numbers. Humanity has had a love hate relationship with numbers from the earliest times. Bones dating from perhaps 30,000 years ago show … Universalium
Whitehead, Alfred North — born Feb. 15, 1861, Ramsgate, Isle of Thanet, Kent, Eng. died Dec. 30, 1947, Cambridge, Mass., U.S. British mathematician and philosopher. He taught principally at the University of Cambridge (1885–1911) and Harvard University (1924–37). His… … Universalium
Neo-Piagetian theories of cognitive development — For more information, see Piaget s theory of cognitive development, Cognitive development and Intelligence. Psychology … Wikipedia
De Morgan, Augustus — ▪ English mathematician and logician born , June 27, 1806, Madura, India died March 18, 1871, London, Eng. English mathematician and logician whose major contributions to the study of logic include the formulation of De Morgan s laws and… … Universalium
David O. Tall — David Orme Tall (born 15 May 1941) is a mathematics education theorist at the University of Warwick. One of his most influential works is the joint paper with Vinner Concept image and concept definition...[citation needed]. The concept image is a … Wikipedia
Diophantus of Alexandria — ▪ Greek mathematician flourished c. AD 250 Greek mathematician, famous for his work in algebra. What little is known of Diophantus s life is circumstantial. From the appellation “of Alexandria” it seems that he worked in the main… … Universalium
Scott Buchanan — Scott Milross Buchanan (March 17, 1895 March 25, 1968) was an American educator, philosopher, and foundation consultant. He is best known as the founder of the Great Books program at St. John s College, at Annapolis, Maryland. [The same program… … Wikipedia